Trust but Verify: Cryptographic Data Privacy for Mobility Management

The era of big data has brought with it a richer understanding user behavior through massive datasets, which can help organizations optimize the quality their services. In context transportation research, mobility provide municipal authorities (MAs) insights on how to operate, regulate, or improve network. Mobility data, however, may contain sensitive information about end users and trade secrets providers (MPs). Due this privacy concern, MPs be reluctant contribute datasets MA. Using ideas from cryptography, we propose an interactive protocol between MA MP, in obtains without MP having reveal its users. This is accomplished two steps: 1) commitment step 2) computation step. first step, Merkle commitments aggregated traffic measurements are used generate cryptographic commitment. second extracts sends them zero-knowledge proofs, certify that received accurate, needing directly inspect data. We also present differentially private version suitable for large query regime. verifiable both sense dishonesty one party detected by other. readily extended more general setting multiple via secure multiparty computation.